do
    let f s1{caret} s2 =
        fst s1, snd s2
